Solving Structured Polynomial Systems and Applications to Cryptology
نویسنده
چکیده
Cryptography is a collection of mathematical techniques used to secure the transmission and storage of information. A fundamental problem in cryptography is to evaluate the security of cryptosystems against the most powerful techniques. To this end, several general methods have been proposed: linear cryptanalysis, differential cryptanalysis, . . . Extensively used cryptographic standards – such as aes [1] – are all resistant against linear and differential attacks. In this talk, we will describe another general method – Algebraic Cryptanalysis – which can be used to evaluate the security of such cryptosystems. Algebraic cryptanalysis can be described as a general framework that permits to evaluate the security of a wide range of cryptographic schemes.The basic principle of such cryptanalysis is to model a cryptographic primitive by a set of multivariate polynomial equations. The system of equations is constructed in such a way that solving the system is equivalent to recover a secret information of the cryptographic primitive (for instance, the secret key in the case of an encryption scheme). Consequently, evaluate the security of this cryptosystem is equivalent to estimate the theoretical and practical complexity of solving the corresponding system of equations. Since one of the most efficient tool for solving algebraic system over finite field is Gröbner bases [2], it is necessary to evaluate theoretically (e.g. [3]) and practically (e.g. [8]) the complexity of computing Gröbner bases over Fq . While it is well known that solving system of polynomial equations is NP-hard [4] in many applications, including cryptography, the polynomial systems that we have to consider are not random at all (see for instance [6]). Hence, it is a crucial task to identify several classes of polynomial systems that are easier to solve (or at least such that we are able to predict accurately the complexity [5]). In this
منابع مشابه
Partitioning Multivariate Polynomial Equations via Vertex Separators for Algebraic Cryptanalysis and Mathematical Applications
We present a novel approach for solving systems of polynomialequations via graph partitioning. The concept of a variable-sharing graph of asystem of polynomial equations is defined. If such graph is disconnected, thenthe system of equations is actually two separate systems that can be solvedindividually. This can provide a significant speed-up in computing the solutionto the...
متن کاملResearch Statement: Polynomial Systems with Combinatorial Structure
Oftentimes in mathematics, a theoretical investigation leads to a system of polynomial equations. Generically, such systems are difficult to solve. In typical applications, however, the equations usually come equipped with additional structure that can be exploited. In this regard, much of my research as been devoted to developing techniques for solving structured systems using tools from algeb...
متن کاملA New Efficient Algorithm for Solving Systems of Multivariate Polynomial Equations
The security of many recently proposed cryptosystems is based on the difficulty of solving large systems of quadratic multivariate polynomial equations. The classical algorithm for solving such a system is Buchberger’s algorithm for constructing Gröbner bases. Another algorithm for solving such a system is XL algorithm. For sparse system, Buchberger’s algorithm benefits from sparsity of the sys...
متن کاملZhuang-Zi: A New Algorithm for Solving Multivariate Polynomial Equations over a Finite Field
We present the Zhuang-Zi algorithm, a new method for solving multivariate polynomial equations over a finite field. We describe the algorithm and present examples, some of which cannot be solved with the fastest known algorithms.
متن کاملAn efficient FHE proposal based on the hardness of solving systems of nonlinear multivariate equations (II)
We propose a general framework to develop fully homomorphic encryption schemes (FHE) without using Gentry’s technique. Initially, a private-key cryptosystem is built over Zn (n being an RSA modulus). An encryption of x ∈ Zn is a randomly chosen vector e such that Φ(e) = x where Φ is a secret multivariate polynomial. This private-key cryptosystem is not homomorphic in the sense that the vector s...
متن کامل